Definition of "double time"

double time